Your shopping cart is empty!
Mathematical Logic, 2nd Edition (Undergraduate Texts In Mathematics)
Publisher: H D Ebbinghaus
SKU: DADAX0387942580
ISBN : 9780387942582
Condition : New
SKU: DADAX0387942580
ISBN : 9780387942582
Condition : New
Price:
$85.35
Condition :
Shipping & Tax will be calculated at Checkout.
US Delivery Time: 3-5 Business Days.
Outside US Delivery Time: 8-12 Business Days.
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Features :
- Mathematical Logic
Product dimensions : 9.21x0.81x6.14 inches
Product weight : 1.23 pounds
Write a review
Your Name:
Your Email:
Your Review:
Note: HTML is not translated!
Rating: Bad Good
Enter the code in the box below: